Optimal. Leaf size=28 \[ -\frac{\sqrt{a \csc ^2(x)}}{a}-\frac{1}{\sqrt{a \csc ^2(x)}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0962848, antiderivative size = 28, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 3, integrand size = 17, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.176, Rules used = {3657, 4124, 43} \[ -\frac{\sqrt{a \csc ^2(x)}}{a}-\frac{1}{\sqrt{a \csc ^2(x)}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3657
Rule 4124
Rule 43
Rubi steps
\begin{align*} \int \frac{\cot ^3(x)}{\sqrt{a+a \cot ^2(x)}} \, dx &=\int \frac{\cot ^3(x)}{\sqrt{a \csc ^2(x)}} \, dx\\ &=-\left (\frac{1}{2} a \operatorname{Subst}\left (\int \frac{-1+x}{(a x)^{3/2}} \, dx,x,\csc ^2(x)\right )\right )\\ &=-\left (\frac{1}{2} a \operatorname{Subst}\left (\int \left (-\frac{1}{(a x)^{3/2}}+\frac{1}{a \sqrt{a x}}\right ) \, dx,x,\csc ^2(x)\right )\right )\\ &=-\frac{1}{\sqrt{a \csc ^2(x)}}-\frac{\sqrt{a \csc ^2(x)}}{a}\\ \end{align*}
Mathematica [A] time = 0.0236956, size = 19, normalized size = 0.68 \[ \frac{-\csc ^2(x)-1}{\sqrt{a \csc ^2(x)}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.036, size = 29, normalized size = 1. \begin{align*} -{\frac{1}{a}\sqrt{a+a \left ( \cot \left ( x \right ) \right ) ^{2}}}-{\frac{1}{\sqrt{a+a \left ( \cot \left ( x \right ) \right ) ^{2}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 0.966181, size = 32, normalized size = 1.14 \begin{align*} -\frac{1}{\sqrt{\frac{a}{\sin \left (x\right )^{2}}}} - \frac{\sqrt{\frac{a}{\sin \left (x\right )^{2}}}}{a} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.52765, size = 73, normalized size = 2.61 \begin{align*} \frac{\sqrt{2} \sqrt{-\frac{a}{\cos \left (2 \, x\right ) - 1}}{\left (\cos \left (2 \, x\right ) - 3\right )}}{2 \, a} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\cot ^{3}{\left (x \right )}}{\sqrt{a \left (\cot ^{2}{\left (x \right )} + 1\right )}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.19753, size = 41, normalized size = 1.46 \begin{align*} -\sqrt{a}{\left (\frac{\sin \left (x\right )}{a \mathrm{sgn}\left (\sin \left (x\right )\right )} + \frac{1}{a \mathrm{sgn}\left (\sin \left (x\right )\right ) \sin \left (x\right )}\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]